$\forall$$l$:IdLnk, ${\it tg}$:Id, $L$:Top, $x$:Id, $t$, $v$:Top.
\\[0ex]$x$ : $t$ initially $x$ = $v$ $\Vert\!+$ only $L$ sends on ($l$ with ${\it tg}$)